PARSAC: Paralleles symbolisches und algebraisches Rechnen

Projektleitung und Mitarbeiter

Amrhein, B. (Dr. sc. math.), Gloor, O. (Dr. sc. math.), Göbel, M. (Dipl. Inform.), Küchlin, W. (Prof. Dr. sc. techn.), gemeinsam mit: Nevin, N. J. (M. sc., Ohio State Univ., USA), Ward, J. A. (Prof., College of Mt. St. Joseph, Ohio, USA)

Mittelgeber :

Forschungsbericht : 1994-1996

Tel./ Fax.:

Projektbeschreibung

Ein moderner Arbeitsplatzrechner hat mehrere parallel arbeitende Prozessoren mit gemeinsamem Speicher. Typischerweise sind eine Vielzahl dieser Multiprozessoren in einem Netz zusammengeschlossen. Erforscht wird das Problem, wie man diese Architektur für das symbolische und algebraische Rechnen praktisch nutzen kann. Dazu wird eine Programmierumgebung erstellt, die die Prozessorzuteilung, Verwaltung paralleler Prozesse, Speicherbereinigung u. v. a. m. übernimmt. Schlüsselkomponenten sind virtuelle S-threads für das Rechnen mit gemeinsamem Speicher und DTS für das Rechnen im Netz. Darauf aufbauend entsteht das PARSAC System mit parallelen Algorithmen zum automatischen Beweisen und zur Computer Algebra.

Publikationen

Küchlin, W., Ward, J. A.: Experiments with virtual C Threads. In: Proc. Fourth IEEE Symp. on Parallel and Distributed Processing. IEEE Press 1992.

INDEX HOME SUCHEN KONTAKT LINKS

qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de) - Stand: 30.11.96
Copyright Hinweise